Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
461	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
462	Chapter 13 Software Development Method M. A. Jackson It is a great pleasure to be able to contribute to a Festschrift in Tony Hoare’s honour. I have Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-10-09 19:38:32 Formal methods Systems engineering Turing machine Computability theory Problem frames approach Moving frame Frame language Frame Complexity Theoretical computer science Applied mathematics Science
463	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
464	PARSING AND CODE GENERATION TECHNIQUES TO DEAL WITH UNCERTAINTY: EXPERIENCES FROM HIGHLY-EVOLVING AND COMPLEX SYSTEMS Cedric Lemaire, BNPParibas, Paris - France Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2005-10-11 04:35:54 Compiler construction Formal languages Programming language implementation Domain-specific language C++ Parsing Domain-specific modeling Automatic programming Generic programming Software engineering Computing Computer programming
465	The NL2KR Platform for building Natural Language Translation Systems Vo Nguyen, Arindam Mitra and Chitta Baral School of Computing, Informatics and Decision Systems Engineering Arizona State University {nguyen.h.vo, ami Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2015-04-29 23:47:18 Science Computational linguistics Meaning Semantics Natural language processing Speech recognition Parsing Machine translation Formal grammar Linguistics Logic Formal languages
466	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
467	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
468	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
469	Bor-Yuh Evan Chang http://www.cs.colorado.edu/∼bec/ + (phone) + (fax) Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2015-02-01 19:26:08 Principles of Programming Languages Formal methods Programming Language Design and Implementation Computing Formal verification Model checking SIGPLAN Program analysis Association for Computing Machinery Computer science George Necula
470	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science

UPDATE